Add arch tagline

diff --git a/man/gpl.texi b/man/gpl.texi
index 1908d1f8f98fb345423da10beb4f608dfeb8118f..5b416d3cb41698a913558b822d1701aa96503cff 100644 (file)
--- a/man/gpl.texi
+++ b/man/gpl.texi
@@ -715,3 +715,7 @@ library, you may consider it more useful to permit linking proprietary
 applications with the library.  If this is what you want to do, use
 the GNU Lesser General Public License instead of this License.  But
 first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
+
+@ignore
+   arch-tag: 0c4a2556-f87e-464f-9b1d-efd920fcaf67
+@end ignore